Convert string to int in python